loc{-}on{-}path(${\it es}$;$i$;$L$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($i$ $\in$ map($\lambda$$e$.es{-}loc(${\it es}$; $e$);$L$) $\in$ Id)